package tarantula.experiment.jdom;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestResult;
import junit.framework.TestSuite;
import junit.textui.TestRunner;
import tarantula.experiment.math.MathTestsForTarantula0;
import tarantula.experiment.primitive.PrimitiveFailedUnsimplifiedTests;

public class RunPassingTestsWithUnsimplifiedFailingTests extends TestCase {

	  public static void main(String[] args) {
	    TestRunner runner = new TestRunner();
	    TestResult result = runner.doRun(suite(), false);
	    if (! result.wasSuccessful()) {
	      System.exit(1);
	    }
	  }

	  public RunPassingTestsWithUnsimplifiedFailingTests(String name) {
	    super(name);
	  }

	  public static Test suite() {
	    TestSuite result = new TestSuite();
	    result.addTest(JDomTestsForTarantula.suite());
	    
	    result.addTest(new TestSuite(JDomFailedUnsimplifiedTests.class));
	    
	    return result;
	  }

	}
